leap in logic